Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
Una -tautologia è una tautologia del tipo avente un solo interpolante di Craig , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.